Probabilistic Barbed Congruence
نویسندگان
چکیده
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS.
منابع مشابه
Contextual equivalences in configuration structures and reversibility
Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history pres...
متن کاملName-passing calculi: from fusions to preorders and types (Appendix)
A. Reduction-closed barbed congruence (Section II) Definition 28 (Reduction-closed barbed congruence). Let L be a process calculus, in which a reduction relation −→L and barb predicates ↓a , for each a in a given set of names, have been defined. A relationR on the processes of L is context-closed if PRQ implies C[P ]RC[Q], for each context C of L; the relation is barb-preserving if for any name...
متن کاملThe Ground Congruence for Chi Calculus
The definition of open bisimilarity on the χ-processes does not give rise to a sensible relation on the χ-processes with the mismatch operator. The paper proposes ground open congruence as a principal open congruence on the χ-processes with the mismatch operator. The algebraic properties of the ground congruence is studied. The paper also takes a close look at barbed congruence. This relation i...
متن کاملReversible Barbed Congruence on Configuration Structures
Clément Aubert, Ioana Cristescu. Reversible Barbed Congruence on Configuration Structures. S. Knight, I. Lanese, A. Lluch Lafuente and H. T. Vieira. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. 189, pp.68-85, 2015, EPTCS Proceedings ICE 2015. . <10.4204/EPTCS.189.7>. <hal-0...
متن کاملA Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels
The π-calculus is a process algebra where agents interact by sending communication links to each other via noiseless communication channels. Taking into account the reality of noisy channels, an extension of the π-calculus, called the πN -calculus, has been introduced recently. In this paper, we present an early transitional semantics of the πN calculus, which is not a directly translated versi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 190 شماره
صفحات -
تاریخ انتشار 2007